On preserving the behavior in software refactoring: A systematic mapping study

Refactoring is the art of modifying design a system without altering its behavior. The idea to reorganize variables, classes and methods facilitate their future adaptations comprehension. As concept behavior preservation fundamental for refactoring, several studies, using formal verification , language transformation dynamic analysis, have been proposed monitor execution refactoring operations impact on program semantics. However, there no existing study that examines available strategies each operation. This paper identifies approaches in research literature. We conduct, this paper, systematic mapping capture all we classify based criteria including methodology, applicability, degree automation. results indicate vary between formalisms techniques, developing automatic safety tools, performing manual analysis source code. Our taxonomy reveals exist some types whose under-researched. classification also indicates possible can be combined better detect any violation